Reasoning with Inconsistent Ontologies: Evaluation
نویسندگان
چکیده
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.2(WP3.4) PION is a framework for reasoning with inconsistent ontologies. Is is based on the concept of “selection functions” to obtain meaningful answers from a selection of the axioms of a given inconsistent ontology. In this document, we investigate several selection functions, test them with several large scale realistic ontologies, and report the evaluation of PION with those experiments. Keyword list: ontology management, inconsistency, ontology reasoning Copyright c © 2006 Department of Artificial Intelligence, Vrije Universiteit Amsterdam Document Id. Project Date Distribution SEKT/2005/D3.4.2/v0.9.0 SEKT EU-IST-2003-506826 Jan 20, 2006 unrestricted
منابع مشابه
A Method of Contrastive Reasoning with Inconsistent Ontologies
Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Contrastive answers are more informative for reasoning with inconsistent ontologies, as compared with the usual simple Boolean answer, i.e., either ”yes” or ”no”. In this paper, we propose a method of computing contrastive answers from inconsistent ontologi...
متن کاملContrastive Reasoning for the Semantic Web
The sentences “but” are used frequently in natural languages. However, the semantics of “but” has not yet been well studied in logic and reasoning. Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Contrastive answers are more informative for reasoning with inconsistent ontologies, as compared with the usu...
متن کاملReasoning with Inconsistent Ontologies
In this paper we present a framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance. We examine how the notion of ”concept relevance” can be used for reasoning with inconsistent ontologies. We have implemented a prototype called PION (Processing Inconsistent ONtologies), which is based on a syntactic relevance-based se...
متن کاملReasoning with Uncertain and Inconsistent OWL Ontologies
Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logicbased ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain o...
متن کاملAn Argumentative Approach to Reasoning with Inconsistent Ontologies
Standard approaches to reasoning with Description Logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this paper, we present a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as Defeasible Logic Programs (DeLP). G...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006